es{-}locl(${\it es}$; $e$; ${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(es{-}loc(${\it es}$; $e$) = es{-}loc(${\it es}$; ${\it e'}$) $\in$ Id) $\wedge$ es{-}causl(${\it es}$; $e$; ${\it e'}$)